Frutos-Escrig, David de: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Graphical representation of covariant-contravariant modal formulae

Aceto, Luca, Fábregas, Ignacio, Frutos-Escrig, David de, Ingólfsdóttir, Anna, Palomino, Miguel

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2011

File:

PDF, 4.32 MB

2011

2

On the specification of modal systems: A comparison of three frameworks

Aceto, Luca, Fábregas, Ignacio, de Frutos-Escrig, David, Ingólfsdóttir, Anna, Palomino, Miguel

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 457 KB

english, 2013

3

An invitation to friendly testing

David de Frutos-Escrig, Luis Llana-Díaz, Manuel Núñez

Journal:

Journal of Computer Science and Technology

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

4

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Barozzini, David, de Frutos-Escrig, David, Della Monica, Dario, Montanari, Angelo, Sala, Pietro

Journal:

Theoretical Computer Science

Year:

2020

Language:

english

File:

PDF, 3.45 MB

english, 2020

5

Decidability and complexity of Petri nets with unordered data

Fernando Rosa-Velardo, David de Frutos-Escrig

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 412 KB

english, 2011

6

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2004 Volume 3235 || Automatized Verification of Ad Hoc Routing Protocols

de Frutos-Escrig, David, Núñez, Manuel

Year:

2004

Language:

english

File:

PDF, 208 KB

english, 2004

7

Tagged Systems: A Framework for the Specification of History-dependent Properties

Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 421 KB

english, 2005

8

On the Expressiveness of Mobile Synchronizing Petri Nets

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 375 KB

english, 2007

9

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems â FORTE 2004 Volume 3235 || Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems

de Frutos-Escrig, David, NÃºÃ±ez, Manuel

Year:

2004

File:

PDF, 262 KB

2004

10

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems

Fernando Rosa-Velardo, Olga Marroquín-Alonso, David de Frutos-Escrig

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 372 KB

english, 2006

11

Decidability Problems in Petri Nets with Names and Replication

Rosa-Velardo, Fernando, de Frutos-Escrig, David

Journal:

Fundamenta Informaticae

Year:

2010

File:

PDF, 244 KB

2010

12

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2004 Volume 3235 || Witness and Counterexample Automata for ACTL

de Frutos-Escrig, David, Núñez, Manuel

Year:

2004

Language:

english

File:

PDF, 235 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски